Worst-case execution time - PDFSEARCH.IO - Document Search Engine

Worst-case execution time
Results: 108

#	Item
41	XTC Language Specification Version 2.1 Release: Add to Reading List Source URL: www.absint.com Language: English - Date: 2013-07-30 05:48:06 HTTP cookie Stack HTML element Data Technology Electronics Real-time computing Worst-case execution time Computing
42	www.dspace.com Safely Excluding Serious Errors Translation of “Schwere Fehler sicher ausschließen” Published at: Elektronik Automotive Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-11-19 10:20:55 Software bugs Abstract interpretation Astrée Embedded systems Program analysis Cross-platform software Worst-case execution time TargetLink Static program analysis Computing Software engineering Computer programming
43	Microsoft PowerPoint - Seshia-UsableVerif-Nov10 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-15 20:44:04 Electronics Cyber-physical system Model checking Worst-case execution time Embedded system Static timing analysis Software verification System Actor model Technology Computing Software testing
44	PDF Document Add to Reading List Source URL: www.symtavision.com Language: English - Date: 2012-10-31 05:31:37 Electronics Technology Embedded operating systems Real-time computing Worst-case execution time AUTOSAR Interrupt Scheduling Static timing analysis Automotive software Computing Embedded systems
45	Guaranteed Loop Bound Identification from Program Traces for WCET Mark Bartlett, Iain Bate and Dimitar Kazakov Department of Computer Science University of York Heslington, York, UK Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2012-05-02 15:17:28 Compiler optimizations Control flow Worst-case execution time For loop Loop unwinding Infinite loop Loop counter Type system Algorithm Computing Software engineering Computer programming
46	Probabilistic Instruction Cache Analysis using Bayesian Networks Mark Bartlett, Iain Bate, James Cussens and Dimitar Kazakov Department of Computer Science University of York York, UK Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2012-05-02 15:17:12 Cache CPU cache Central processing unit Computer memory Bayesian network Graphical model Bayesian inference Worst-case execution time Acumem SlowSpotter Statistics Bayesian statistics Statistical models
47	The Auspicious Couple: Symbolic Execution and WCET Analysis * Armin Biere1 , Jens Knoop2 , Laura Kovács3 , and Jakob Zwirchmayr2 1 2 3 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:46:27 Real-time computing Worst-case execution time Symbolic execution KeY Program slicing Analysis of algorithms Model checking Control flow Abstract interpretation Theoretical computer science Programming language theory Computing
48	Learning Bayesian Networks for Improved Instruction Cache Analysis Mark Bartlett, Iain Bate and James Cussens Department of Computer Science University of York Heslington, York, UK Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2012-05-02 15:17:24 Computer hardware Computer architecture Central processing unit Bayesian network Networks CPU cache Worst-case execution time Graphical model Cache Statistics Bayesian statistics Statistical models
49	Creating Clear Safety Arguments Richard Hawkins Tim Kelly, John Knight, Patrick Graydon A New Approach to creating Clear Safety Arguments- 1 Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2011-05-24 10:11:12 Software testing Real-time computing Worst-case execution time SPARK DC Comics Code coverage Software engineering Computing Computer programming
50	aiT for MPC755 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Programming language implementation Real-time computing Worst-case execution time GNU Compiler Collection Programming tool Toolchain C Software Computing Compilers